((v1 v2 3) (v1 v3 8) (v1 v4 4) (v1 v5 9))
31
()